You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name (3R,4R)-4-cyclopropyl-1-(5-iodothiophene-3-carbonyl)pyrrolidine-3-carboxylic acid ?
user
C13H14INO3S
assistant