((R)-3-{3,5-Difluoro-4-[4-(2-hydroxy-ethanoyl)-piperazin-1-yl]-phenyl}-4,5-dihydro-isoxazol-5-ylmethyl)-carbamic acid AIDS-088030 AIDS088030