On the hyperalgebra of a semisimple algebraic group