There is provided compounds of formula I, ##STR1## wherein Y and R.sup.1 have meanings given in the description, and pharmaceutically acceptable derivatives (including prodrugs) thereof, which compounds and derivatives are useful as, or are useful as prodrugs of, competitive inhibitors of trypsin-like proteases, such as thrombin, and thus, in particular, in the treatment of conditions where inhibition of thrombin is required (e.g. thrombosis) or as anticoagulants.

Hay compuestos proporcionados del fórmula I, del ## del ## STR1 en donde Y y R.sup.1 tienen significados dados en la descripción, y farmacéutico de los derivados aceptables (prodrugs incluyendo) de eso, que los compuestos y los derivados son útiles como, o es útil como prodrugs de, inhibidores competitivos trypsin-como de proteases, tales como trombina, y así, en detalle, en el tratamiento de las condiciones donde la inhibición de la trombina se requiere (e.g. trombosis) o como anticoagulantes.