Model studies toward the total synthesis of halenaquinol and halenaquinone