Pharmaceuticals for the treatment of HIV infection; antivirals; pharmaceutical products for use in the treatment of infectious diseases