Spectral line parameters in the (4 0) overtone band and the dipole moment function of HI