The Homotopy Category of Simply Connected 4-Manifolds