AIDS-093548 AIDS093548 Pyrido[2,3-g]quinoxaline-8-carboxylic acid, 6-cyclopropyl-4-ethyl-1,2,3,4,6,9-hexahydro-1-methyl-9-oxo- Quinolone der.