3(S),7(R)-Bisbenzyl-6(R)-hydroxy-1,4-diazaperhydroepin-2-one AIDS-085274 AIDS085274