AIDS-028512 AIDS028512 N-(1,1-Dimethylethyl)-5-[2-hydroxy-3-[[(phenylmethoxy)carbonyl]amino]-3-benzylpropyl]octahydro-thieno[3,2-c]pyridine-6-carboxamide Ro31-8959 thienopyridine analog