1-Cyclopropyl-6,8-difluoro-4-oxo-7-[4-(pyridin-2-yl)piperazin-1-yl]-1,4-dihydro-quinoline-3-carboxylic acid AIDS-086516 AIDS086516