3,10-Diethyl-4-methyl-10-hydropyridino[2,3-b]4aH-carbazole-5,11-dione AIDS-155194 AIDS155194 Carbazolequinone derivative