Total synthesis of all (-)-Agelastatin alkaloids.