Synonyms: (+/-)-7-{4-[(z)-2,3-dihydroxy-2-butenyl]-1-piperazinyl}-6-fluoro-1-methyl-4-oxo-1h,4h-[1,3]thiazeto[3,2-a]quinoline-3-carboxylic acid cyclic carbonate; 6-fluoro-1-methyl-7-(4-(5-methyl-2-oxo-1,3-dioxelen-4-yl)methyl-1-piperazinyl)-4-oxo-4h-(1,3)thiazeto(3,2-a)quinoline-3-carboxylic acid