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 3-[3-[(Z)-but-1-enyl]-4-methyl-5-oxo-2H-pyrrol-1-yl]piperidine-2,6-dione;prop-1-ene ?
user
C17H24N2O3
assistant