(4R,5R,6R)-5-Hydroxy-4-(2-phenylethyl)-1,3,6-trisbenzyl-1,3-diazaperhydroin-2-one AIDS-058313 AIDS058313 Tetrahydropyrimidinone deriv.