The synthesis of tetrahymanol