A frequency-domain procedure to design TMDs for lively pedestrian structures considering Human–Structure Interaction. (September 2022)