You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
2-[1-(4-fluorophenyl)sulfonylpyrrolidin-2-yl]-7-propan-2-yl-3,5,6,8-tetrahydropyrido[3,4-d]pyrimidin-4-one The above is the IUPAC name of a molecule. Write its molecular formula.
user
C20H25FN4O3S
assistant