Diterpenoids. X. cis- and trans-Biformene