12-Ethyl-9-methoxy-7H-[2,7]naphthyridin[1,8a,8-ab]carbazol-7-one AIDS-155203 AIDS155203 Carbazolequinone derivative