You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 4-(8-methyl-2,4-dioxo-1,3-diazaspiro[4.5]decan-3-yl)but-2-enoic acid by IUPAC nomenclature, provide its molecular formula.
user
C13H18N2O4
assistant