(3S,5R,6R)-5-Hydroxy-1,3,6-trisbenzylpiperidin-2-one AIDS-058315 AIDS058315