3-(Naphthyloxymethyl)-5-(4-pyridylcarbonyl)-7H-1,2,4-triazolo[3,4-b]1,3,4-thiadiazaperhydroin-6-one AIDS-163601 AIDS163601