Synthesis of the hexahydronaphthalene moiety of (+)-mevinolin