You should use "
ADOX IR-HR Pro" which is the HR-50 without speed boost (preflash).
Why? Retro 80 supposedly had problems with high contrast and blown highlights. If the Adox is the same Aviphot, but preflashed, it's a better film with friendlier characteristics.
And using a developer that can tame Retro 80 should be great on the already tamed Adox film.
I bought AM74 because it works with Retro 80 and also with the 3200 films. My main devs, D76 and Rodinal, are not good there.
So I'm happy with HR50, but knowing for sure which is the base material is helpful.
Edit: to be clear, I was planning to buy Retro 80 as a fine grain IR film. I already bought AM 74 as a suitable dev, which also works with delta 3200. Then along came HR50 and I didn't have to worry as much about contrast by buying this instead.