Since the exact file name isn’t in official archives, you can achieve the same result by:
Have you actually found a file called radiusdesk2022a1ova.ova ? Let me know in the comments – I’d love to help you identify its origin.