1-Cyclopropyl-7-fluoro-9-methyl-4-oxo-8-pyrrolidin-1-yl-4H-quinolizine-3-carboxylic acid AIDS-094576 AIDS094576