Hypothalamic obesity in children.