3-Quinolinecarboxylic acid, 7-(3-amino-4-cyclopropyl-1-pyrrolidinyl)-1-cyclopropyl-6-fluoro-1,4-dihydro-4-oxo- AIDS-029536 AIDS029536 PD142421