Today is World Aids Day.