3-Quinolinecarboxylic acid, 7-(2,5-dioxo-1-piperazinyl)-6-fluoro-1,4-dihydro-4-oxo-1-(phenylmethyl)- AIDS-188357 AIDS188357