1-Azabicyclo[2.2.2]oct-3-yl 2-hydroxy-2,4-diphenyl-3-butenoate AIDS-143933 AIDS143933 NSC665723