1-Ethyl-6-fluoro-1,4-dihydro-4-oxo-7-{[N4-5'-bromo- 3'(trimethoprimimino)-1'- isatino) methyl] N'-piperazinyl}-3-quinoline carboxylic acid AIDS-067672 AIDS067672