Structural Revision of Halipeptins: Synthesis of the Thiazoline Unit and Isolation of Halipeptin C