You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named (5R,6R)-6-[(1S)-1-hydroxypropyl]-7-oxo-3-(1-prop-2-enoxycarbonylpyrrolidin-3-yl)sulfanyl-5-prop-2-enylsulfanyl-4-thia-1-azabicyclo[3.2.0]hept-2-ene-2-carboxylic acid is given. What is its corresponding molecular formula?
user
C20H26N2O6S3
assistant