(Butylthiomethyl)dodecyldimethylamine, dichloride AIDS-096071 AIDS096071 Dimethyldodecylammonium chloride derivative