6-Benzyl-2-sec-butylsulfanyl-5-isopropyl-3H-pyrimidin-4-one AIDS-088087 AIDS088087 MC 1141