1-Cyclopropyl-8-[(3S)-3-ethylamino-1-pyrrolidinyl]-7-fluoro-9-methyl-4(H)-4-oxoquinolizine- 3-carboxylic acid AIDS-105442 AIDS105442