(+/-)-8-(3-Amino-piperidin-1-yl)-1-cyclopropyl-7-fluoro-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094531 AIDS094531