7-substituted 5-amino-1-cyclopropyl-6,8-difluoro-1,4-dihydro-4-oxo-3- quinolinecarboxylic acids: synthesis and biological activity of a new class of quinolone antibacterials.