If you download a “PDF” file and you see it ends in “.exe”, delete it. It’s a virus.