You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name (7S)-N-[(1R)-1-[6-(2,4-dioxoimidazolidin-1-yl)pyridin-3-yl]-3-(4-hydroxypiperidin-1-yl)propyl]-7-[1-(trifluoromethyl)cyclopropyl]-5,6,7,8-tetrahydro-[1,3]thiazolo[5,4-b]quinoline-2-carboxamide ?
user
C31H34F3N7O4S
assistant