You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule 1-[1-(1-benzothiophene-2-carbonyl)piperidin-3-yl]pyrrolidin-2-one into molecular formula.
user
C18H20N2O2S
assistant