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 (3R,6S,8aS)-6-[(2S)-but-3-en-2-yl]-2,2,8a-trimethyl-3-phenyl-6-prop-2-enyl-7,8-dihydro-3H-[1,3]oxazolo[3,2-a]pyridine-5-thione ?
user
C23H31NOS
assistant