Allan–Herndon–Dudley syndrome