What is the maximum generality known for a homology equivalence of CW complexes to imply an honest homotopy equivalence? ?e.g. if the fundamental groups act trivially on the higher homtopy groups??