potassium 4-({2-[2-ethoxy-1-(ethoxycarbonyl)-2-oxoethylidene]-1,3-dithiolan-4-yl}oxy)-4-oxobutanoate