INS and obesity due to melanocortin 4 receptor deficiency: Mice carrying one or more Adcy3Jll mutant alleles are protected from high fat diet-induced obesity, are more active, and have lower circulating leptin and insulin levels.