You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name 2-[(2R)-1-[(1S)-cyclohex-3-ene-1-carbonyl]pyrrolidin-2-yl]-7-(cyclohexylmethyl)-3,5,6,8-tetrahydropyrido[3,4-d]pyrimidin-4-one ?
user
C25H36N4O2
assistant