For VGA, try advanced-hd instead with mask 13 and shift 3 Although this is optimized for 1440p (still suitable for 1080p), not 4K.
#reference "../../shaders/crt-guest-advanced/crt-guest-advanced-hd.slangp"
PR = "0.000000"
PG = "0.000000"
PB = "0.000000"
AS = "0.000000"
sat = "0.000000"
vigdef = "0.500000"
interm = "0.000000"
S_SHARP = "1.500000"
HSHARP = "2.000000"
HARNG = "0.000000"
VARNG = "0.000000"
bloom = "0.100000"
mask_bloom = "0.300000"
bloom_dist = "0.500000"
halation = "0.025000"
shadowMask = "13.000000"
maskstr = "0.400000"
mcut = "0.700000"
mshift = "3.000000"
mclip = "0.350000"
deconrg = "0.250000"
deconrb = "-0.250000"
deconrry = "-0.250000"
deconrgy = "-0.500000"
deconrby = "0.250000"
decons = "2.000001"
addnoised = "0.140000"
noiseresd = "1.000000"
noisetype = "1.000000"
Photo of real VGA CRT (from here):
The result with the HD version with above preset is pretty much spot-on (the colors are of course different since one is a photo of a screen and the other a direct screenshot):
Raw image without shaders:
More VGA porn with that preset: