Modeling scenarios for the end of AIDS.