Synthesis of the ABCDEF-ring of ciguatoxin 3C