You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(4R)-4-(1,3-benzodioxol-5-yl)-2,7,7-trimethyl-3-(piperidine-1-carbonyl)-1,4,6,8-tetrahydroquinolin-5-one The above is the IUPAC name of a molecule. Write its molecular formula.
user
C25H30N2O4
assistant