5-tert-Butyl-2-phenyl-3b,4,5,6,7,7a,12,12b-octahydrobenzo[c]pyrrolo[3,4-a]carbazole-1,3(2H,3aH)-dione AIDS-132445 AIDS132445 NSC626396