ADCY3 and obesity due to melanocortin 4 receptor deficiency: The phenotype of the AC3−/− mouse is consistent with recent data implicating AC3 polymorphisms in obesity of humans.