3-(Methylethyl)-6-(methylthiomethylthio)-4-benzylhydropyridin-2-one AIDS-080572 AIDS080572 DDE280 HI-280 PETT deriv.