5a-Hydroxy-3,3a-dihydro-1H-pyrrolo[1',2':4,5][1,3,4]oxadiazino[2,3-a]isoindole-4,10(2H,5aH)-dione AIDS-126612 AIDS126612 NSC117853