3-Quinolinecarboxylic acid, 1-cyclopropyl-6-fluoro-1,4-dihydro-5-(hydroxymethyl)-7-(3-methyl-1-piperazinyl)-4-oxo- AIDS-029551 AIDS029551 PD137156