Insulin, ketone bodies, and mitochondrial energy transduction