AIDS-135177 AIDS135177 Methyl 1-phenyl-1,3,3a,11b-tetrahydrophenanthro[9,10-c]isoxazole-3-carboxylate NSC634526