2,5-Diphenyl-3b,4,5,6,7,7a,12,12b-octahydrobenzo[c]pyrrolo[3,4-a]carbazole-1,3(2H,3aH)-dione AIDS-132440 AIDS132440 NSC626389