Wigner approach to the semiclassical dynamics of a quantum many-body system: the dynamic scattering function of $^4He