2-Phenyl-3a,3b,4,5,6,7,8,8a,13,13b-decahydro-1H-cyclohepta[c]pyrrolo[3,4-a]carbazole-1,3(2H)-dione AIDS-132439 AIDS132439 NSC626388