HOMOTOPY OF PSEUDOSIMPLICIAL GROUPS, NONABELIAN DERIVED FUNCTORS, AND ALGEBRAIC K-THEORY