You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule identified by (5R)-6-(1-hydroxyethyl)-5-methyl-7-oxo-3-piperidin-4-yl-4-thia-1-azabicyclo[3.2.0]hept-2-ene-2-carboxylic acid ?
user
C14H20N2O4S
assistant