Exotic smooth structures on $S^2\times S^2$

We construct an infinite family of mutually non-diffeomorphic irreducible smooth structures on the topological 4-manifold $S^2 \times S^2$.