You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (3-phenylpyrrolidin-1-ium-3-yl) 2-iodopropanoate by IUPAC nomenclature, provide its molecular formula.
user
C13H17INO2+
assistant