An averaging principle for a completely integrable stochastic Hamiltonian system