5-(2-Bromoethyl)hydantoin AIDS-019718 AIDS019718