Alkynyliodonium salts in organic synthesis. Application to the total synthesis of (-)-agelastatin A and (-)-agelastatin B.