Synthesis of the brevetoxin B IJK ring system