8-[(R)-3-(1-Amino-cyclopropyl)-pyrrolidin-1-yl]-1-cyclopropyl-7-fluoro-9-methyl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094811 AIDS094811