Design and selection of DMP 850 and DMP 851: the next generation of cyclic urea HIV protease inhibitors