Total synthesis of dl-tazettine and 6a-epipretazettine: a formal synthesis of dl-pretazettine. Some observations on the relationship of 6a-epipretazettine and tazettine