Covalent inhibitors for eradication of drug-resistant HIV-1 reverse transcriptase: From design to protein crystallography