2-Thiopheneacetic acid, .alpha.-hydroxy-.alpha.-(3-methyl-3-buten-1-ynyl)-, 1-methyl-4-piperidinyl ester AIDS-094139 AIDS094139 NSC665885