You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named ethyl 4-[(3R)-2,5-dioxo-3-piperidin-1-ium-1-ylpyrrolidin-1-yl]benzoate by IUPAC nomenclature, provide its molecular formula.
user
C18H23N2O4+
assistant