Biharmonic maps into a Riemannian manifold of non-positive curvature