Total synthesis of brevetoxin A: Part 3: Construction of GHIJ and BCDE ring systems