what is the name of the spacecraft manufacturer has manufactured a satellite whose launch vehicle was proton?
(AND spaceflight.satellite_manufacturer (JOIN spaceflight.satellite_manufacturer.spacecraft_manufactured (JOIN spaceflight.satellite.launch_vehicle m.017ysq)))