How to download a file from onedrive that is marked as virus-infected?

I have a source file that is (I believe erroneously) marked as virus-infected. OneDrive does not allow me to download it. I have even renamed it to a .txt extension, but it still refuses any download...