DFT Study on the Biosynthesis of Verrucosane Diterpenoids and Mangicol Sesterterpenoids: Involvement of Secondary-Carbocation-Free Reaction Cascades