(5R)-1-(3-{(Cyclopentylmethyl)[(4-methoxyphenyl)sulfonyl]amino}-2-hydroxypropyl)-3-(1,3-dioxolan-4-ylmethyl)-5-benzylpyrrolidin-2-one AIDS-072637 AIDS072637