Total synthesis of ciguatoxin and 51-hydroxyCTX3C.