AIDS-087213 AIDS087213 trans-9-(4'-Hydroxy-2'-methylbut-1'-enyl)adenine