8-(3-(2-(4-Fluorophenyl)-1,3-dioxolan-2-yl)propyl)-3-phenyl-8-azabicyclo[3.2.1]octan-3-ol AIDS-143971 AIDS143971 NSC665774