AIDS-093547 AIDS093547 Pyrido[2,3-g]quinoxaline-8-carboxylic acid, 6-cyclopropyl-1,2,3,4,6,9-hexahydro-1,4-dimethyl-9-oxo- Quinolone der.