5-Ethyl-2-phenyl-4,5,10,10b-tetrahydropyrrolo[3,4-a]carbazole-1,3(2H,3aH)-dione AIDS-132431 AIDS132431 NSC626380