5-(4-alliloxybenzylidene)-2-thiohydantoin AIDS-075131 AIDS075131