1-Cyclopropyl-7-fluoro-8,9-dimethyl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094794 AIDS094794