Today is #WorldAIDSDay, which is held on 1 December each year.