bbc micro pc mouse interface