The maturation of HIV-1 protease precursor studied by discrete molecular dynamics