AIDS-078790 AIDS078790 Pyrido[2,3-d]pyrimidine-2,4-diamine, 6-[(1-naphthalenylthio)methyl]-