10-Ethyl-2,10-dihydropyridino[3,4-b]4aH-carbazole-3,5,11-trione AIDS-155195 AIDS155195 Carbazolequinone derivative