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;(6R,7R)-7-amino-8-oxo-3-[(Z)-prop-1-enyl]-5-thia-1-azabicyclo[4.2.0]oct-2-ene-2-carboxylate .
user
C10H11KN2O3S
assistant