Piperidine scaffold as the novel P2-ligands in cyclopropyl-containing HIV-1 protease inhibitors: Structure-based design, synthesis, biological evaluation and docking study