Theory and method of a priori computation of catalytic acts of aspartic and serine proteinases.