5-Mercapto-3-phenyl-1,3,4-thiadiazole-2(3H)-thione, potassium derivative AIDS-020335 AIDS020335