There is a plug-in that allows you to stretch the selected audio to a precise length: https://forum.audacityteam.org/t/change-speed-stretch-audio-to-a-specified-length/23332/1
(this may be easier than trying to calculate the necessary percentage change).