Direct ab initio dynamics study of the OH + HOCO reaction.