Id be concerned , 4mm is quite a bit if the other 3 tyres are different . It has to affect the car in some way , vibration at speed being one i would think. Have a look on the drivers side pillar , there should be a tyre placard there with correct tyre specifications,pressures etc.