3-Quinolinecarboxylic acid, 1-cyclopropyl-6-fluoro-1,4-dihydro-4-oxo-7-(2-piperazinyl)- AIDS-029544 AIDS029544 PD 135305