8-(trans-3-Amino-4-methyl-1-piperidinyl)-1-cyclopropyl-7-fluoro-9-methyl-4(H)-4-oxoquinolizine-3-carboxylic acid AIDS-105458 AIDS105458