You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named ethyl (6S)-6-(3,4-dichlorophenyl)-4-[(4-ethoxycarbonylpiperidin-1-yl)methyl]-2-oxo-3-prop-2-enyl-1,6-dihydropyrimidine-5-carboxylate by IUPAC nomenclature, provide its molecular formula.
user
C25H31Cl2N3O5
assistant