1-Cyclopropyl-7-fluoro-9-methyl-8-[(3S)-3-propylamino-1-pyrrolidinyl]-4(H)-4-oxoquinolizine- 3-carboxylic acid AIDS-105443 AIDS105443