Total Syntheses Of N-Desmethyl Thalassospiramide C, Isotopically Labeled (+)-Anatoxin-A, And Xestospongin-Type Natural Products