1-Ethyl-6-fluoro-4-oxo-7-[4-(2-oxo-2-phenylethyl)piperazinyl]hydropyridino[2,3-b]pyridine-3-carboxylic acid AIDS-155188 AIDS155188 N-Piperazinyl quinolone derivative