Agelasphins, novel α-galactosylceramides from the marine sponge Agelas mauritianus