Today is World AIDS day.