Global optimum protein threading with gapped alignment and empirical pair score functionsKnowledge-based avoidance of drug-resistant HIV mutants