进行剧烈的体育锻炼后应补充什么