You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 7,7-dimethyl-4-(3-piperidin-1-ylquinoxalin-2-yl)-1,4-thiazepane 1,1-dioxide into its molecular formula.
user
C20H28N4O2S
assistant