Gravar-mail: Translating HIV sequences into quantitative fitness landscapes predicts viral vulnerabilities for rational immunogen design