1-Cyclopropyl-8-difluoromethoxy-6-fluoro-1,4-didehydro-7-[4-(2-pyrimidyl)-1piperazinyl]-4-oxoquinoline-3-carboxylic acid AIDS-060280 AIDS060280 K-13 Piperazinyloxoquinoline deriv.