6-Ethyl-2,6-dihydropyridino[4,3-b]4aH-carbazole-3,5,11-trione AIDS-155196 AIDS155196 Carbazolequinone derivative