potassium;4-(7-ethyl-1,3-benzodioxol-5-yl)-1,1-dioxo-2-[2-(trifluoromethyl)phenyl]-1$l^{6},2-benzothiazine-3-carboxylate