3-Quinolinecarboxylic acid, 7-(2,5-dioxo-1-piperazinyl)-1-ethyl-6-fluoro-1,4-dihydro-4-oxo- AIDS-188356 AIDS188356