Hallervorden–Spatz disease