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 (3R)-1-[(2R)-2-(5-bromothiophen-2-yl)propanoyl]piperidine-3-carboxylic acid ?
user
C13H16BrNO3S
assistant