Potent memapsin 2 (β-secretase) inhibitors: Design, synthesis, protein-ligand X-ray structure, and in vivo evaluation