THE RED-SEQUENCE LUMINOSITY FUNCTION IN MASSIVE INTERMEDIATE-REDSHIFT GALAXY CLUSTERS