Today is World AIDS Day.