Synthesis of the (E)-dehydrobutyrine–thiazoline–proline–leucine fragment of vioprolides B and D