5-(4-methoxycarbonylobenzylidene)-2-thiohydantoin AIDS-075116 AIDS075116