8-(3-Aminopiperidyl)-1-cyclopropyl-7-fluoro-9-methyl-4H-oxoquinolizine-3-carboxylic acid AIDS-105457 AIDS105457