Mięśniem antagonistycznym dla m. pośladkowego wielkiego jest: