(4-{3-[(5S)-2-oxo-5-benzyl-3-prop-2-enylimidazolidinyl]-2-hydroxypropyl}-4-azabicyclo[4.4.0]dec-3-yl)-N-(tert-butyl)carboxamide AIDS-072060 AIDS072060