1-Azabicyclo[2.2.2]oct-3-yl 2-hydroxy-2,4-diphenyl-3-butynoate AIDS-143904 AIDS143904 NSC665687