AIDS-118542 AIDS118542 Thiophene, 2,5-dihydro-3-methyl-, 1,1-dioxide