Werdnig–Hoffmann disease