Renormalization and BRST Symmetry in Donaldson–Witten Theory