3-Quinolinecarboxylic acid, 7-[4-(4-chlorobenzoyl)-1-piperazinyl]-1-ethyl-6-fluoro-1,4-dihydro-4-oxo- AIDS-185730 AIDS185730