You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
4-[[(3R)-3-(dimethylamino)pyrrolidin-1-yl]methyl]-9-hydroxy-[1,3]thiazolo[5,4-c]isoquinolin-5-one The above is the IUPAC name of a molecule. Write its molecular formula.
user
C17H20N4O2S
assistant