1H-Tetrazole, 5-cyclopropyl-1-(3-iodo-2-propynyl)- AIDS-154229 AIDS154229