4-Oxo-3a-phenyl-2,3,3a,4-tetrahydroisoxazolo[2,3-a]indol-2-yl acetate AIDS-140442 AIDS140442 NSC652269