You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Can you give the molecular formula of the molecule (2R,3R,3aS,9bS)-2-(4-benzylpiperidine-1-carbonyl)-1-ethyl-3-(hydroxymethyl)-7-[(Z)-prop-1-enyl]-3,3a,4,9b-tetrahydro-2H-pyrrolo[2,3-a]indolizin-6-one;(2R,3R,3aS,9bS)-2-(4-benzylpiperidine-1-carbonyl)-1-ethyl-3-(hydroxymethyl)-7-[(E)-prop-1-enyl]-3,3a,4,9b-tetrahydro-2H-pyrrolo[2,3-a]indolizin-6-one ?
user
C58H74N6O6
assistant