Some Proteus enthusiasts use the SFH5110 or TFMS5360 models (similar pinout and function). Tweak the frequency parameter to 38 kHz.
Infrared Sensor Library for Proteus - The Engineering Projects tsop1738 proteus library download
Yes, the .LIB format is backward compatible. For Proteus 7, use the legacy version (avoid HEX models). Some Proteus enthusiasts use the SFH5110 or TFMS5360