Inhibition of HIV-1 proteinase by non-peptide carboxylates