A 6AS7 will work just fine. The 6080 tube (usually shipped as stock) is a ruggedized version of the 6AS7. Electrically, they are the same.
You can also use a 5998 or 7236 (which is a computer rated 5998), though they are harder to find these days.
I'm not familiar with the 6520 tube, though it's often included in the 6AS7 "family." Presumably it will work, though I'll defer to those who know more about this tube than I do.