Actually, Levels (Photo Tool) does a pretty good job on old photos like this.

I did Auto first then tweaked the brightness a tiny bit.