Synthesis and biodistribution of iodine-125-labeled 1-azabicyclo[2.2.2]oct-3-yl alpha-hydroxy-alpha-(1-iodo-1-propen-3-yl)-alpha-phenylacetate. A new ligand for the potential imaging of muscarinic receptors by single photon emission computed tomography.