Total synthesis of brevetoxin A