Positive Mass Theorem for Asymptotically Locally Flat 4-Manifolds with $\mathbb{S}^1$-Symmetries