“number of HIV infections across the world declined by a fifth during the 2010s”