12-Ethyl-9-hydroxy-7H-[2,7]naphthyridin[1,8a,8-ab]carbazol-7-one AIDS-155202 AIDS155202 Carbazolequinone derivative