A concise route to the right wing of ciguatoxin