HO2 generation above Sprite-producing thunderstorms derived from low-noise SMILES observation spectra