A neural basis for brain leptin action on reducing type 1 diabetic hyperglycemia.