An improved synthesis of the C42–C52 segment of ciguatoxin 3C