LEP and obesity due to melanocortin 4 receptor deficiency: Then, we tested H.alvei HA4597 in two mouse models of obesity: genetic, leptin-deficient ob/ob mice and nutritional, high-fat diet (HFD)-induced obesity.