On the homotopy category of AC-injective complexes