You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule identified by 7-[(6-chloro-1,3-benzodioxol-5-yl)methyl]-2-piperidin-1-yl-3,5,6,8-tetrahydropyrido[3,4-d]pyrimidin-4-one ?
user
C20H23ClN4O3
assistant