Total synthesis of the hypocholesterolemic agent (+)-compactin