Compounds represented by the following formula (I) or pharmaceutically acceptable salts thereof and a process for producing the same are disclosed. The compounds have progesterone receptor binding inhibitory activity and, hence, can be used as therapeutic and prophylactic agents for progesterone-related diseases. Specifically, they are useful as carcinostatic agents for breast cancer and ovarian cancer, therapeutic agents for hysteromyoma, endometriosis, meningioma, and myeloma, abortifacients, oral contraceptive pills, and therapeutic and prophylactic agents for osteoporosis and climacteric disturbance. ##STR1## wherein R.sup.1 represents alkyl or aralkyl; R.sup.2 represents a hydrogen atom, alkylcarbonyl, cycloalkylcarbonyl, aromatic acyl, heteroaromatic acyl, saturated heterocyclic acyl, alkyl, alkenyl, aralkyl, carbamoyl, alkylcarbamoyl, aromatic carbamoyl, aralkylcarbamoyl, alkylaminocarbonyl, cycloalkylcarbamoyl, alkoxycarbonyl, aryloxycarbonyl, heteroaromatic thiocarbonyl, saturated heterocyclic thiocarbonyl, or alkyl-thiocarbamoyl: and R.sup.3 represents a hydrogen atom, a hydroxyl group, alkyloxy, alkylcarbonyloxy, alkylthio, or arylthio.