10-Ethyl-7-hydroxy-4-methyl-10H-pyrido[2,3-b]carbazole-5,11-dione AIDS-155200 AIDS155200 Carbazolequinone derivative