Ureido substituted pyrrolidines

A compound of formula (I)

• wherein:
• one of A1, A2 and A3 represents NR2 and the others represent C(R3)(R4);
• R1 represents R6N(R7)—C(═O)—NH—Ar2—;
• R2 represents —(═O)—R8, —C(═O)—OR8a or R8b;
• R3 and R4 each represent hydrogen or R8;
• R6 represents hydrogen or lower alkyl and R7 represents arylor arylalkyl;
• R8 represents alkyl, aryl, arylalkyl, cycloalkyl, cycloalkylalkyl, or alkyl substituted by an acidic functional group or a protecting group, or by —Z3H, —Z2R10, —C(═O)—NY1Y2 or —NY1Y2;
• R8a represents alkyl, aryl or arylalkyl;
• R8b represents alkyl, aryl, arylalkyl or alkyl substituted by an acidic functional group or a protecting group;
• R9 represents aryl, cycloalkyl or cycloalkenyl;
• R10 represents alkyl, alkenyl, alkynyl, aryl, arylalkyl, arylalkenyl, arylalkynyl, cycloalkyl, cycloalkylalkyl, cycloalkenyl or cycloalkenylalkyl;
• R11 represents hydrogen or lower alkyl;
• R12 is a direct bond or an alkylene chain, an alkenylene chain or an alkynylene chain;
• R13 is —C(═O)—NH—;
• Ar1 represents aryldiyl;
• Ar2 represents aryldiyl;
• L1 represents a —R12—R13— linkage;
• Y is carboxy;
• Y1 and Y2 are independently hydrogen, alkenyl, alkyl, aryl, arylalkyl or cycloalkyl;
• Z1 represents NH;
• Z2 is O or S(O)n;
• Z3 is O or S;
• and
• n is zero or an integer 1 or 2;
• provide that in these compounds an oxygen, nitrogen or sulphur atom is not attached directly to a carbon carbon multiple bond of an alkenyl or alkynyl residue;
• or a prodrug thereof, or a pharmaceutically acceptable salt or solvate thereof or prodrug.