2,5-Diazabicyclo[2.2.2]octane-1,4-dicarboxylic acid, 3,6-dioxo-,monopotassium salt