GPX4 and hyperinsulinemic hypoglycemia, familial, 4: The therapeutic potential of vatiquinone in vivo was assessed using tamoxifen-induced mouse model for GPX4 deficiency and the Ndufs4 knockout mouse model of Leigh syndrome.