3-(3-Carboxybenzyl)-1-(6-ethyl-1,3-benzodioxol-5-ylmethyl)-4-oxo-1,4-dihydroquinoline-2-carboxylic acid dipotassium salt