Effective blocking of HIV‐1 proteinase activity by characteristic inhibitors of aspartic proteinases | Synapse