3-Quinolinecarboxylic acid, 7-[4-(2-benzoxazolyl)-1-piperazinyl]-1-cyclopropyl-8-(difluoromethoxy)-6-fluoro-1,4-dihydro-4-oxo- AIDS-106523 AIDS106523 Quinolone der.