Pyrrolidine thrombin inhibitors

A compound having the formula:

• ##STR45## wherein R.sup.1 and R.sup.2 are independently
• hydrogen,
• phenyl,
• naphthyl,
• biphenyl,
• a 5- to 7- membered mono- bicyclic heterocyclic ring or bicyclic heterocyclic ring system any ring of which may be saturated or unsaturated, and which consists of carbon atoms and from one to three heteroatoms selected from the group consisting of N, O and S,
• C.sub.1-4 alkyl,
• branched C.sub.1-4 alkyl,
• C.sub.3-7 cycloalkyl,
• C.sub.5-12 bicylic alkyl,
• C.sub.11-16 tricylic alkyl,
• (CH.sub.2).sub.n R.sup.4,
• CH(R.sup.4).sub.2, wherein R.sup.4 is the same or different,
• CH(R.sup.4)(OR.sup.4), (CH.sub.2).sub.n OR.sup.4, or
• R.sup.2 may be joined with R.sup.1 to form a four- to seven membered carbon ring in which zero to two carbon atoms may be substituted with heteroatoms independently selected from the list N, O, and S,
• where n is 1, 2, 3 or 4;
• R.sup.3 is
• H,
• N(R.sup.1).sub.2, wherein R.sup.1 is the same or different,
• R.sup.1 OCONH,
• R.sup.1 CONH,
• (CH.sub.2).sub.p OH, where p is 0, 1, 2, 3 or 4,
• R.sup.1 SO.sub.2 NH, or
• (R.sup.1).sub.m NCONH, where m is 1 or 2, wherein R.sup.1 is the same or different;
• R.sup.4 is
• phenyl,
• naphthyl,
• biphenyl,
• a 5- to 7- membered mono- or bicyclic heterocyclic ring or bicyclic heterocyclic ring system any ring of which may be saturated or unsaturated, and which consists of carbon atoms and from one to three heteroatoms selected from the group consisting of N, O and S,
• C.sub.1-4 alkyl,
• branched C.sub.1-4 alkyl,
• C.sub.3-7 cycloalkyl,
• C.sub.5-12 bicyclic alkyl, or
• C.sub.11-16 tricyclic alkyl;
• X is (CH.sub.2).sub.q where q is 2;
• and
• Y is (CH.sub.2).sub.r where is 1.