Fluorine-18-labeled progestin 16 alpha, 17 alpha-dioxolanes: development of high-affinity ligands for the progesterone receptor with high in vivo target site selectivity.