Recognition of substituted cytosine derivatives by the base pairing with guanine connected to pyrene