4-[(4-Propoxyphenyl)thio]-1-piperidin-1-yl-2-butyne AIDS-010094 AIDS010094