I'd probably recommend going with the 5.1 mix or the 93 mix. The way I understand it is that the 1980 mix is from an lesser source.
May I ask what is the point of upscaling it though? When you re-encode, you always loose some quality and your Blu-Ray or media player is capable of upscaling it as you go without any loss of quality due to yet another recompression.