2H-Tetrazole, 5-cyclopropyl-2-(3-iodo-2-propynyl)- AIDS-154239 AIDS154239