6(R)-Hydroxy-3(S),4,7(R)-trisbenzyl-1,4-diazaperhydroepin-2-one AIDS-085275 AIDS085275