Synthesis and labeling of a piperazine-based library of ¹¹C-labeled ligands for imaging of the vesicular acetylcholine transporter.