Josephson current in a four-terminal superconductor/exciton-condensate/ superconductor system