DNA-Encoding Enzymatically Active HIV-1 Reverse Transcriptase, but Not the Inactive Mutant, Confers Resistance to Experimental HIV-1 Challenge