α-Onoceradiene-serratene isomerization and the configuration of serratenediol