We introduce a notion of Koszul A(infinity)-algebra that generalizes Priddy's notion of a Koszul algebra and we use it to construct small A(infinity)-algebra models for Hochschild cochains. As an application, this yields new techniques for computing free loop space homology algebras of manifolds that are either formal or coformal (over a field or over the integers). We illustrate these techniques in two examples.