Since Proteus does come with a built-in RC522 model, you have two practical options:
#define SS_PIN 10 #define RST_PIN 9 MFRC522 mfrc522(SS_PIN, RST_PIN); rc522 proteus library