Total Synthesis of Dimeric HPI Alkaloids