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,8-diazaspiro[4.5]decan-8-yl-(1-thieno[2,3-d]pyrimidin-4-ylpyrrolidin-2-yl)methanone ?
user
C19H25N5OS
assistant