1-Cyclopropyl-7-fluoro-8-[(R)-3-(2-fluoro-ethylamino)-pyrrolidin-1-yl]-9-methyl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094813 AIDS094813