You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule identified by 9-[2-[4-(methylaminomethyl)piperidin-1-yl]ethyl]-3-oxothieno[2,3-c]quinolin-8-ol ?
user
C20H25N3O2S
assistant