The synthesis of 11a-carbathromboxane A2