You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
1-ethyl-1-(iodomethyl)piperidin-1-ium-4-one;iodide The above is the IUPAC name of a molecule. Write its molecular formula.
user
C8H15I2NO
assistant