ADCY3 and obesity due to melanocortin 4 receptor deficiency: ADCY3 knockout mice are obese, whereas ADCY3 gain of function mutation protects mice against obesity.