HIV-1 proteinase is required for synthesis of pro-viral DNA