At any time prior to the payment of his or her first retirement allowance, a person whose retirement was compulsory under this article may file with the board a request for refund of his or her accumulated contributions as of the effective date of the retirement, in lieu of any other benefit payable under this part. Upon receipt of the request so filed, the contributions shall be paid to that person immediately and that person shall not be entitled to any other benefit payable under this part.