A very short route to the functionalized A-ring moiety of ciguatoxin