A formal synthesis of (+)-asteltoxin