AIDS-related deaths in the Republic of Ireland