2,5-Dihydro-2,3-dimethylthiophene, 1,1-dioxide AIDS-018249 AIDS018249