1-Azabicyclo[2.2.2]oct-3-yl 2-hydroxy-2-phenyl-3-butynoate AIDS-143935 AIDS143935 NSC665726