Strings on AdS3 × S3 × S3 × S1