4027-63-8 EINECS 223-703-6 Potassium (2S-cis)-3,3-dimethyl-7-oxo-4-thia-1-azabicyclo(3.2.0)heptane-2-carboxylate