1H-Tetrazole, 1-(3-iodo-2-propynyl)-5-propyl- AIDS-154227 AIDS154227