| abstract |
The invention provides compounds of formula I: wherein R?1-R4, A, A1¿, and X have any the values described in the specification, as well as pharmaceutical compositions comprising such compounds, and methods of inhibiting proteases with such compounds. The invention also provides synthetic intermediates and processes useful for preparing compounds of formula (I). |