(4S,6S,5R)-5-hydroxy-4-(hydroxymethyl)-3-[(4-methoxyphenyl)methyl]-6-benzyl-1-prop-2-enyl-1,3-diazaperhydroin-2-one AIDS-095158 AIDS095158