NDUFS4 and Leigh syndrome: Using the Ndufs4 knockout (Ndufs4 KO) mouse, a model of Leigh syndrome, it was demonstrated that protein succination increased in the brainstem (BS).