2H-Tetrazole, 5-(4-fluorophenyl)-2-(3-iodo-2-propynyl)- AIDS-154275 AIDS154275