10-Dodecylphenothiazine AIDS-020157 AIDS020157