A formal synthesis of psymberin.