Liquefaction of human semen by alpha-amylase.