You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule 1-[[(1R)-cyclohex-3-en-1-yl]methyl]-N,N-diethylpiperidin-1-ium-4-carboxamide ?
user
C17H31N2O+
assistant