GPX1 and obesity due to melanocortin 4 receptor deficiency: Obesity as a result of hyperinsulinemia was previously described, e.g., in mice overproducing glutathione peroxidase 1 (Wang et al. 2008).