1-Ethyl-6,8-difluoro-4-oxo-7-piperazinylhydroquinoline-3-carboxylic acid AIDS-112075 AIDS112075