The furan approach to carbocyclic systems. Synthesis of cyclohexane derivatives from butenolides through an intramolecular Michael addition