Synthesis of Halipeptins A and D (Synfacts, 2006)