Synthetic Studies on Erythrina Alkaloids: Formal Total Synthesis of (+)-3-Demethoxyerythratidinone