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 prop-2-enyl (2S,5R,6R)-3,3-dimethyl-7-oxo-6-(2-oxo-3-phenylpropyl)-4-thia-1-azabicyclo[3.2.0]heptane-2-carboxylate ?
user
C20H23NO4S
assistant