AIDS-088028 AIDS088028 {(R)-3-[4-(4-Cyano-pyrazol-1-yl)-3-fluoro-phenyl]-4,5-dihydro-isoxazol-5-ylmethyl}-carbamic acid