Efficient New Computational Protein Design Algorithms, with Applications to Drug Resistance Prediction and HIV Antibody Design