5-(4-(4-(4,6-Dioxo-3-(4-pyridinyl)-3a,4,6,6a-tetrahydro-5H-pyrrolo[3,4-d]isoxazol-5-yl)benzyl)phenyl)-3-(4-pyridinyl)-3aH-pyrrolo[3,4-d]isoxazole-4,6(5H,6aH)-dione AIDS-136945 AIDS136945 NSC640242