8-(trans-3-Amino-4-cyclopropyl-1-pyrrolidinyl)-1-cyclopropyl-7-fluoro-9-methyl-4(H)-4-oxoquinolizine-3-carboxylic acid AIDS-105447 AIDS105447