Efficient inhibition of HIV-1 aspartic protease by synthetic, computer designed peptide mimetics