On the microscopic derivation of the two-fluid thermohydrodynamic equations for4He II