AIDS-130543 AIDS130543 Methyl 4,6-dioxo-5-phenyl-4,5,6,6a-tetrahydro-3aH-pyrrolo[3,4-d]isoxazole-3-carboxylate NSC603986