8-Difluoromethoxy-1,4-dihydro-6-fluoro-7-(3,4-dehydro-4-phenyl-1-piperidinyl)-1-[4-(1,2,4-triazol-1-yl)methylphenyl]-4-oxoquinoline-3-carboxylic acid AIDS-070310 AIDS070310 Fluoroquinolone deriv. K-12 deriv.