A short and efficient enantioselective route to a key intermediate for the total synthesis of forskolin