(4R,5S,6R,7R)-Tetrahydro-1,3-diaza-1-[(3-cyanophenyl)methyl]-5-hydroxy-4,7-bis-(phenylmethyl)-(2-phenylethyl)-bicyclo[4.1.0]heptan-2-one AIDS-071088 AIDS071088