Synthetic approach to cis and trans-decalins via Diels—Alder reaction and ring-closing metathesis as key steps: further extension to dioxapropellane derivative by ring-closing metathesis