Lysine derivatives as potent HIV protease inhibitors. Discovery, synthesis and structure–activity relationship studies