AIDS-073712 AIDS073712 NSC624410 Pyrrolo[3,4-a]carbazole-1,3(2H,3aH)-dione, 4,5,10,10b-tetrahydro-5-methyl-2-phenyl-10-(phenylmethyl)-