Backcalculation, AIDS modeling, HIV infection