You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named [(1R)-1-[(3S)-2-(5-amino-2,7-dioxo-6H-[1,3]thiazolo[4,5-d]pyrimidin-3-yl)-5-[(1S)-1-hydroxypropyl]oxolan-3-yl]ethyl] ethyl carbonate by IUPAC nomenclature, provide its molecular formula.
user
C17H24N4O7S
assistant