High-level synthesis of recombinant HIV-1 protease and the recovery of active enzyme from inclusion bodies