Scharlemann's manifold is standard

In his 1974 thesis, Martin Scharlemann constructed a fake homotopy equivalence from a closed smooth manifold f:Q -> S^3 x S^1 # S^2 x S^2 and asked whether the manifold Q itself is diffeomorphic to S^3 x S^1 # S^2 x S^2. Here we answer this question affirmatively.