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