You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name prop-2-enyl (3S)-3-(3-bromo-2-oxopyrrolidin-1-yl)pyrrolidine-1-carboxylate into its molecular formula.
user
C12H17BrN2O3
assistant