首先，4个月大的婴儿的眼睛红肿可能有多种原因，包括过敏、感染或其他眼部问题。由于您的宝宝是奶粉喂养，排除了母乳喂养引起的可能。哭泣后眼睛红肿是正常的，但如果伴随着肿胀、分泌物或视力问题，可能需要进一步检查。建议您带宝宝去看眼科医生，以确定具体原因并获得适当的治疗。

在等待就诊期间，您可以尝试用温水轻轻清洁宝宝的眼睛，避免让宝宝揉搓眼睛，保持宝宝的双手清洁。如果医生确诊为感染，可能会开具抗生素眼药水。请务必按照医生的指示使用药物，避免自行使用任何药物。同时，保持宝宝的整体健康，包括良好的营养和充足的休息，也有助于改善宝宝的眼部健康。