Formal Synthesis of Vinigrol and Efforts Towards the Total Synthesis of Digitoxigenin