6-(3,5-dimethylbenzyl)-5-isopropyl-1-(3-methylbut-2-enyloxymethyl)uracil AIDS-163217 AIDS163217