I think downsampling by a factor of 2 would be (src-sound 2) then save-as with the lower sampling rate. I don't think sampling rate conversion should happen automatically, but I suppose another button is always a possibility.