Hurwitz-type bound, knot surgery, and smooth $\s^1$-four-manifolds