Structural revision of halipeptins: synthesis of the thiazoline unit and isolation of halipeptin C