8-((3S,4S)-3-Amino-4-cyclopropylpyrrolidinyl)-1-cyclopropyl-7-fluoro-9-methyl-4-oxoquinolizine-3-carboxylic acid AIDS-039375 AIDS039375