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 2-prop-2-enyl-9-[(9R)-6,7,8,9-tetrahydro-5H-tetrazolo[1,5-a]azepine-9-carbonyl]-2,9-diazaspiro[5.5]undecan-3-one ?
user
C19H28N6O2
assistant