You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Name the molecular formula for the molecule established as (3R,4S)-3,4-dimethyl-1-[[4-(pyrrolidin-1-ylmethyl)thiophen-2-yl]methyl]piperidin-4-ol using the IUPAC nomenclature.
user
C17H28N2OS
assistant