3-Quinolinecarboxylic acid, 1-(4-amino-2-fluorophenyl)-6-fluoro-1,4-dihydro-7-(4-methyl-1-piperazinyl)-4-oxo- AIDS-120416 AIDS120416