AIDS-140445 AIDS140445 Methyl 4-oxo-3a-phenyl-2,3,3a,4-tetrahydroisoxazolo[2,3-a]indole-2-carboxylate NSC652272