You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(3S,4R)-4-[(3-bromothiophen-2-yl)methyl]pyrrolidin-3-ol The above is the IUPAC name of a molecule. Write its molecular formula.
user
C9H12BrNOS
assistant