Total synthesis of thiocillin I