You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Provide the molecular formula for the IUPAC named substance potassium;(5R,6S)-6-[(1R)-1-hydroxyethyl]-3-[(Z)-3-methoxy-3-oxoprop-1-enyl]sulfanyl-7-oxo-4-thia-1-azabicyclo[3.2.0]hept-2-ene-2-carboxylate .
user
C12H12KNO6S2
assistant