Literally any Shimano braze on derailleur from 1985 to now would do just fine, since you're friction shifting it. Right now new 5600-5700 series units are a great deal, I picked up two of them for under $20 each recently and one of them was new.
__________________
Hard at work in the Secret Underground Laboratory...