Anti-HIV therapy boosts life expectancy more than 13 years