The penems, a new class of .beta.-lactam antibiotics. 5. Total synthesis of racemic 6-.alpha.-hydroxyethylpenemcarboxylic acids