A holographic dual for string theory on AdS3×S3×S3×S1