High-temperature superconductivity at high pressures for H3SixP1−x, H3PxS1−x, and H3ClxS1−x. (December 2016)