Dexetimide, a useful tool in acetylcholine-receptor localization