Finiteness of simple homotopy types up to s-cobordism of aspherical 4-manifolds