When these compounds, including their pharmaceutically acceptable salts and esters, are formulated together with a pharmaceutically acceptable carrier, the resulting composition may be administered in vivo to mammals, such as man, to inhibit HCV NS3 protease or to treat or prevent HCV virus infection.