Bicyclic octapeptide alpha-Amanitin, the death cap mushroom toxin : the total synthesis and derivatives of the hydroxyproline residue