Efficient total synthesis of (.+-.)-anatoxin a