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 4-[(1E)-buta-1,3-dienyl]-3,5,5-trimethylcyclohexene ?
user
C13H20
assistant