You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 1-(1-benzyl-5-methylpyrrolidin-3-yl)-2-[(1,1-dioxothiolan-3-yl)methyl]-3-ethylguanidine;hydroiodide by IUPAC nomenclature, provide its molecular formula.
user
C20H33IN4O2S
assistant