A dialdehyde cyclization cascade: an approach to pleuromutilin.