6-Benzyl-1-ethoxymethyl-5-vinyl-1H-pyrimidine-2,4-dione AIDS-121593 AIDS121593 MKC-442 analog