Finite generation of nilpotent quotients of fundamental groups of punctured spectra