You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 1-[2-(2,6-dioxopiperidin-1-yl)ethyl]-3-ethyl-2-propylguanidine;hydroiodide is given. What is its corresponding molecular formula?
user
C13H25IN4O2
assistant