2-Phenyl-3b,4,5,6,7,8,9,10,11,12,13,13a,18,18b-tetradecahydrocyclododeca[c]pyrrolo[3,4-a]carbazole-1,3(2H,3aH)-dione AIDS-132438 AIDS132438 NSC626387