AIDS death migrated to infection operator
Test and treat update to delay AIDS death